ALPprolog – A new logic programming method for dynamic domains
نویسندگان
چکیده
منابع مشابه
ALPprolog - A new logic programming method for dynamic domains
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
متن کاملGOLOG: A Logic Programming Language for Dynamic Domains
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and eeects of actions and the initial state of the world. This allows programs to reason about the state of the world and consider the eeects of various possible cou...
متن کاملA New Dynamic Programming Method for UAV
Dislocation is one of the major challenges in unmanned aerial vehicle (UAV) image 15 stitching. In this paper, we propose a new dynamic programming for seamlessly stitching UAV 16 images using optical flow. Our solution consists of two steps: Firstly, an image-matching algorithm 17 is used to correct the images so that they are in the same coordinate system. Secondly, a new 18 dynamic programmi...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA New Hybrid Critic-training Method for Approximate Dynamic Programming
A variety of methods for developing quasi-optimal intelligent control systems using reinforcement learning techniques based on adaptive critics have appeared in recent years. This paper reviews the family of approximate dynamic programming techniques based on adaptive critic methods and introduces a new hybrid critic training method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2011
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068411000111